Email: A.Brown@iti.salford.ac.uk
WWW: http://www.salford.ac.uk/iti/docs/depts/iti/projects/inca/inca.html
Phone: 0161-745-5292
Fax: 0161-745-8169
KBTools allows for full forward-chaining and backward-chaining, uncertainty, probabilistic and bayesian reasoning and provides a comprehensive set of inference procedures. The emphasis is on ease of building Knowledge Bases as Boxes and Arrows diagrams. A flexible GUI provides the interface between the Knowledge Engineer and the Boxes and Arrows representation of the Knowledge Base. The interface between the system and the end user is configurable by the knowledge engineer.
We hope to bring this product to full commercial status; the software released is a prototype version only. We are placing it in the public domain for the following reasons: